منابع مشابه
A Strong Distillery
Abstract machines for the strong evaluation of λ-terms (that is, under abstractions) are a mostly neglected topic, despite their use in the implementation of proof assistants and higher-order logic programming languages. This paper introduces a machine for the simplest form of strong evaluation, leftmost-outermost (call-by-name) evaluation to normal form, proving it correct, complete, and bound...
متن کاملTraditional Medicinal Plants for Industrial Application as Natural Food Preservatives
Natural food preservation method refers to application of naturally produced antimicrobial compounds that are obtained from plants, animals and microbes to prevent food spoilages microorganism, proliferation and growth of food borne pathogens in food and foods products. Now it is the time of growing interest of many researchers with the application of these natural antimicrobial compounds as sa...
متن کاملBiodegradable Whey Protein Edible Films as a New Biomaterials for Food and Drug Packaging
Food packaging extensively uses plastic films and containers of petroleum-based polymers for their excellent functional properties and competitive price. Plastic packaging has become a central focus of waste reduction efforts, particularly in aesthetic terms of damage to flora and fauna. Presently, consumers require greater quality and longer shelf lives for their foodstuffs, while they ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 1887
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.ns-10.234.59